Prove that cotxcot2x-cot2xcot3x-cot3xcotx=1